Formalization and Automation of Time-Space Conflict Analysis

نویسندگان

  • Burcu Akinci
  • Martin Fischer
  • Raymond Levitt
  • Robert Carlson
چکیده

With increasing pressure for shorter delivery schedules, space is a critical resource at construction sites. Current industry practice lacks a formalized approach or a tool to help project managers analyze spatial conflicts between activities prior to construction. Consequently, time-space conflicts occur frequently and significantly impact construction processes. Time-space conflicts have three characteristics which impede the detection and analysis of time-space conflicts prior to construction: (1) They have a temporal aspect, (2) They have different forms creating different problems, (3) Multiple types of spatial conflicts can exist between a pair of conflicting activities. This research formalizes time-space conflict analysis as a classification task and addresses these challenges by automatically (1) detecting conflicts in four dimensions, (2) categorizing the conflicts according to a taxonomy of time-space conflicts developed, and (3) prioritizing the multiple types of conflicts between the same pair of conflicting activities. This research extends previous research on construction space management by developing a taxonomy of time-space conflicts and by defining an approach for the analysis of time-space conflicts prior to construction. 1 Assistant Professor, Department of Civil Engineering, Carnegie Mellon University, Pittsburgh, PA 152133890, [email protected] 2 Associate Professor, Department of Civil and Environmental Engineering and (by courtesy) Computer Science, Director, Center for Integrated Facility Engineering, Stanford University, Stanford, CA 94305, [email protected] 3 Professor, Department of Civil and Environmental Engineering, Stanford University, Stanford, CA 94305, [email protected] 4 Professor, Department of Management Science and Engineering, Stanford University, Stanford, CA 94305, [email protected]

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparative Reliability Analysis of Substation Automation Architecture Based on IEC 61850 Standard

Using IEC 61850 standard would increase the reliability and availability of electricity network and put a huge impact on network automation. Even though much research works has been done in substation system reliability, there is a few works in automated substation control system reliability. This paper evaluates the reliability of substation automation system based IEC 61850 comparatively cons...

متن کامل

Urban Crimes Space-Time Analysis (Case study: Involvement Crimes at Ardebil City)

Aims & Backgrounds: Involvement crime is one of famous human crimes which it causes to hazard society and humans body, inancial security and studying mentioned subject have vital importance to reducing involvement crime and increasing society and individuals security. Investigation of involvement crime occurrence shows that, mentioned crime happen in special places and times. So, the aim of cur...

متن کامل

Concept and Laboratory Analysis of Trajectory-Based Automation for Separation Assurance

An operating concept and a laboratory analysis methodology were developed and tested to examine how four-dimensional trajectory analysis methods could support higher levels of automation for separation assurance in the National Airspace System. Real-time simulations were conducted in which a human controller generated conflict resolution trajectories using an automated trial plan trajectory gen...

متن کامل

Mediating role of time management in the correlation between role conflict and job burnout among the teachers working at Zahedan technical training colleges, Iran

Background: Teacher burnout and role conflict are considered as serious problems in school environments. This study was carried out in order to investigate the mediating role of time management in the correlation between role conflict and job burnout in the teachers of technical training colleges in the Iranian city of Zahedan. Materials and Methods: In this descriptive correlational study, 20...

متن کامل

A High-Level Formalization of Floating-Point Numbers in PVS

We develop a formalization of floating-point numbers in PVS based on a well-known formalization in Coq. We first describe the definitions of all the needed notions, e.g., floating-point number, format, rounding modes, etc. Then, we present an application to polynomial evaluation for elementary function evaluation. The application already existed in Coq, but our formalization shows a clear impro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000